| tractatus.nl | Tractatus.nl | The site combines the German text with insights and perspectives on the work, allowing users to view it as a sequence of sentences, a hierarchical tree, a network of interconnected ideas, or a searchable object. Wittgenstein characterized the text in a letter from 1919 as being both strictly philosophical and literary, emphasizing a deliberate lack of superfluous content. A dashboard allows for different reading approaches, with functions that respond to user interaction and provide context for sentence relationships. | Local Politics → Political Parties 898 | views 78 sentence 87 dashboard 1374 text 2467 | |
| appliedlogictudelft.nl | Delft University of Technology | The website details the Applied Logic Seminar hosted at the Delft University of Technology, emphasizing its expansion beyond traditional philosophical applications into fields like economics, social science, and cognitive science. Logic is presented as the study of information flow and rational procedures, incorporating new systems to address complexities such as dynamic changes, uncertainties, and partial information. The seminar's organizers, Alessandra Palmigiano, Giuseppe Greco, and Umberto Rivieccio, are associated with the Faculty of Technology, Policy and Management (TPM) and the Section of Ethics/Philosophy of Technology at TU Delft. | Research & Academia → Academic 215 | logic 22 seminar 299 philosophy 570 university 593 technology 6816 | |
| annemarieborg.nl | Utrecht University | AnneMarie Borg is a researcher focusing on the connection between theoretical argumentation and real-world applications, particularly addressing the gap between existing theories and practical requirements. Her research interests include the dynamic aspects of argumentation and its utilization in explainable artificial intelligence. She currently holds an assistant professor position within the Responsible AI Group at Utrecht University, having previously worked as a postdoc at the National Police Lab AI and completed her PhD at Ruhr University Bochum. | Data Science & Analytics → Artificial Intelligence 1831 | argumentation 22 artificial intelligence 291 university 593 research 8967 | Utrecht → East-> Rijnsweerd 143 |
| robinmartinot.nl | Ruhr University Bochum | Robin Martinot currently works as a scientific staff member on the ERC Advanced Grant project 'Contradictory Logics' at Ruhr University Bochum. He recently defended his PhD dissertation, titled 'Formalizing Ideals of Proof,' at Utrecht University as part of the NWO-funded 'Optimal Proofs' project. His research interests encompass the philosophy of logic and mathematics, proof theory, and the application of formal methods to clarify intuitive concepts. He has several publications and ongoing research projects. | | phd 104 philosophy 570 publication 2018 research 8967 | |
| tvandijk.nl | University of Twente | Tom van Dijk is an assistant professor at the University of Twente, focusing on formal verification and synthesis techniques. His research encompasses solving parity games using binary decision diagrams and SAT/SMT solvers, alongside developing usable research tools like Sylvan and Oink. He has contributed significantly to the development of decision diagram packages and parity game solvers, including Sylvan, Oink, SigrefMC, and the synthesis tool Knor, utilized in various model checking and symbolic bisimulation applications. | Computer Science → Software Engineering 404 | synthesis 15 algorithms 186 | |
| thomvangessel.nl | TNO | Thom van Gessel is a researcher specializing in logic, knowledge representation, and reasoning, currently working at TNO in the Netherlands. His dissertation, ‘Questions in Context,’ explores the contextual nature of questions and develops a semantic framework to capture this phenomenon. Van Gessel’s publications include articles in journals like ‘Journal of Philosophical Logic’ and ‘The Review of Symbolic Logic,’ as well as conference proceedings and a PhD thesis from the University of Amsterdam. | Data Science & Analytics → Artificial Intelligence 1831 | tno 10 logic 22 university 593 publication 2018 question 2261 research 8967 | North-Holland → Amsterdam 41253 |
| ikemulder.nl | Ike Mulder | Ike Mulder currently holds a position as an Applied Scientist at Amazon Web Services, having previously been a PhD student at Radboud University Nijmegen under the supervision of Robbert Krebbers and Herman Geuvers. His research focuses on formalized mathematics, formal software verification, and proof automation, with particular emphasis on tools like Diaframe and Iris. Mulder’s recent publications and presentations highlight his work on automated verification techniques, including acceptance at prestigious conferences such as PLDI, CPP, and OOPSLA, as well as talks at workshops like Iris. | Computer Science → Software Engineering 404 | iris 29 thesis 228 publication 2018 | Gelderland → Nijmegen 9384 |
| lukasmulder.nl | Radboud University | Lukas Mulder is conducting research in formal methods in computer science, currently focused on Kleene algebra and hypotheses. His master's thesis, supervised by Paige North, explores the functorial nature of enriched data types, referencing work on coinductive control of inductive datatypes. The website lists his publications, including a joint Master's thesis with Paige North and Maximilien Peroux, as well as previous Bachelor's and research papers. | | phd 104 thesis 228 publication 2018 research 8967 | |
| deeconometrist.nl | De Econometrist | The site features articles such as an analysis of Kurt Gödel's Incompleteness Theorems, exploring the implications of mathematical limitations on logical systems. It discusses Brandon Carter’s Doomsday Argument, which uses probabilistic reasoning to consider humanity's lifespan and its implications for econometrics. The site also recounts the activities of the VII VESTING Lustrum, a commemorative event, and addresses the potential displacement of econometrics by machine learning. | Economy & Finance → Economics 1115 | forecasts 48 machine learning 173 data 5872 | |
| hermanpeeren.nl | Herman Peeren | The website’s primary content focuses on domain modelling, particularly the concepts of bounded contexts, ubiquitous language, and aggregates, presented with a critical and reflective approach. A presentation from 2019 details the ‘Cut & Shave’ approach to domain modelling, using a barbershop analogy to illustrate the process of refining and restructuring concepts related to software design and understanding. Herman Peeren, a creative developer, contributes his thoughts and custom applications to the site, emphasizing the connection between computer science, philosophy, and the power of language in shaping models. | Software Development & Engineering → Software Architecture 18 | presentation 1785 language 2016 software 8291 | |
| aie.nl | AIE | Artificial Intelligence Engineering is described as synthesizing engineering, software, computer science, and business design to create intelligent systems capable of achieving goals. The site tackles large datasets, system architecture, and organizational processes to generate smart machines and disruptive technologies. It organizes content around three main lines of discourse: ‘Dutch Cows on Dope,’ ‘Theory, Model, System,’ and ‘Idiosyncracies 1,’ incorporating references to philosophical texts and artistic performances. | Data Science & Analytics → Artificial Intelligence 1831 | artificial intelligence 291 theory 956 model 3546 data 5872 | |
| desda.nl | Desda | The website describes the basis of the expression 'Dan En Slechts Dan Als', which emphasizes the equivalence between two statements. Desda was founded by Walther Lenting in 1995, after graduating as a physicist. His final research focused on the characterization of gas deposition of Silicon as a base material for solar cells. | | silicon 12 | |
| pragmathics.nl | Pragmathics | The initial post reflects on a period of inactivity and proposes a review of the blog's content and potential improvements. One article focuses on relational databases, emphasizing the importance of understanding mathematical relations, which is often overlooked by database users. Other articles will build upon this foundation to introduce more advanced mathematical techniques in the context of databases, including differential privacy and information theory. | Resources → Databases 348 | relations 14 mathematics 393 database 1153 privacy 1286 article 6000 | |
| rebuspuzzel.nl | Rebuspuzzel | The website presents various types of rebus puzzles, including puzzles of the week and annual corporate puzzles. Users can share hints and tips to help solvers. The website also contains articles and other puzzle-related content, such as Sudoku. | Games → Puzzles 284 | hint 15 puzzle 811 | |
| sudokutips.nl | sudokutips.nl | The website offers an online Sudoku solver for users to solve and practice puzzles. Users can print Sudoku exercises of varying difficulty levels, from easy to difficult. The website describes various Sudoku techniques, such as 'Naked Single' and 'Hidden Single', and provides step-by-step explanations and practice opportunities. | Games & Play → Games 3911 | sudoku 26 puzzle 811 technique 2157 strategy 9379 | |
| brainwizard.nl | Brainwizard | The platform offers various puzzles, including Sudoku and Wordle, and teaches players the rules of Sudoku and advanced techniques for solving Sudoku puzzles. Brainwizard also contains information about the history of Sudoku, fun facts, and a Sudoku dictionary to explain difficult terms. Users have access to over a thousand Sudoku puzzles and are challenged to solve them using various techniques. | Online Games → Puzzle Games 65 | sudoku 26 dictionary 115 puzzle 811 technique 2157 | |
| fransvandoorne.nl | N/A | The website primarily focuses on Habermas’s research program, including publications such as ‘Twee onder economen gangbare opvattingen van rationaliteit’ and ‘Maatschappelijke werkelijkheid en economische wetenschap’. It references Michael Tomasselo’s work, specifically ‘Origins of Human Communication’, and Habermas's own acknowledgement of Tomasselo's achievements, including the Hegel Prize. The material highlights the importance of empirical evidence and experimental research in supporting Habermas's theoretical framework, citing Tomasselo's work as an example of a book that effectively meets this need. | Culture → Philosophy 2057 | theory 956 research 8967 | |
| jeroen.goudsmit.nl | Jeroen Goudsmit | The first article discusses Rybakov’s algorithm for intuitionistic propositional logic, a solution to a problem posed by Friedman, and Goudsmit’s connection of this approach to established concepts, resulting in a published paper on decidability. Another article explores the role of technological systems in compliance, specifically examining post-event transaction monitoring systems in the financial sector and the increasing use of machine learning methods for risk mitigation. A third article details a machine learning-based classification model of viewing behavior that emerged from a lecture on attention, illustrating the potential impact of sharing scientific ideas with a broader audience. | Insurance & Risk → Risk Management 1060 | logic 22 algorithm 141 artificial intelligence 291 compliance 506 risk 2896 model 3546 | |
| janderuiter.jouwweb.nl | J. de Ruiter | The website covers subjects ranging from paranormal phenomena and historical events like the agricultural revolution and the terror of Stalin to philosophy and science. It offers insights into complex problems, pseudoscientific beliefs, and the development of the human brain, referencing authors such as Y.N. Harari, Rutger Bregman, and Daniel Kahneman. The website encourages further reflection and provides resources and methods, such as solutions to Sudoku puzzles and a syllabus on probability and statistics, with the suggestion to create your own website using JouwWeb. | Specialized History → General History 28 | wonder 59 brain 481 theory 956 topic 1238 problem 2214 article 6000 | |